non{-}void{-}decl($T$;${\it eq}$;$d$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}all($T$; ${\it eq}$; $d$; $x$,$A$.$A$)